
void portal_main(Player @player, Portal @portal) {
	player.changeMap(20000, "sp");
}